Demostrador de teoremas Isabelle
- Demostrador de teoremas Isabelle
- El demostrador interactivo de teoremas Isabelle es una herramienta, de ayuda a la demostración de teoremas escrita en el lenguaje de programación ML y desarrollada por Larry Paulson de la Universidad de Cambridge y Tobias Nipkow del Technische Universität München.
El lenguaje en donde se realizan las pruebas es HOL (acrónimo de Higher-Order Logic), que es un lenguaje fuertemente tipificado con estructuras de datos, funciones recursivas incluyendo valores funcionales y expresiones lógicas con cuantificadores.
Entre las características mas resaltantes de Isabelle se pueden mencionar
Enciclopedia Universal.
2012.
Mira otros diccionarios:
Demostrador de teoremas Isabelle — Saltar a navegación, búsqueda El demostrador interactivo de teoremas Isabelle es una herramienta de ayuda a la demostración de teoremas escrita en el lenguaje de programación ML y desarrollada por Larry Paulson de la Universidad de Cambridge y… … Wikipedia Español
Isabelle — El demostrador interactivo de teoremas Isabelle es una herramienta de ayuda a la demostración de teoremas escrita en el lenguaje de programación ML y desarrollada por Larry Paulson de la Universidad de Cambridge y Tobias Nipkow del Technische… … Wikipedia Español
Demostración automática de teoremas — Saltar a navegación, búsqueda Para otros usos de este término, véase Demostración. La demostración automática de teoremas (de siglas ATP, por el término en inglés … Wikipedia Español
